type x = [<y>